class Makeable
create
    make
feature
    make do end
end

class APP
feature
    INIT
    do
    end
    
    test1() : STRING
    do
    end
    
    test2() : STRING
    local
         a: INTEGER
    do
        a:=2
    end
    
    test3() : STRING
    do
        result := "test"
    end
    test4() : Makeable
    do
        !!result.make
    end
end